$\forall$$w$:World, $i$:Id. w{-}machine($w$;$i$) $\in$ w{-}automaton($w$.T($i$);$w$.TA($i$);$w$.M)